大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 美国Cisco Networking Academy Program 的图书(共556本)

Program verification

0
索取号:TP31/E9922
作者:Francez、 Nissim.、
出版社:N.Y. Wokingham, Eng. ; Reading, Mass. : Addison-Wesley Pub. Co., 1992.

Formal methods of program verification and specification

0
索取号:TP31/E9076
作者:
出版社:Englewood Cliffs, N.J. : Prentice-Hall, 1982.

COBOL : an introduction to structured logic and modular program design

0
索取号:TP31/E8026
作者:Davis、 William S.、 1943-、Fisher、 Richard H.、 joint author.、
出版社:Reading, Mass. : Addison-Wesley Pub. Co., 1979.

Program derivation : the development of programs from specifications

0
索取号:TP31/E90108
作者:Dromey、 R. G.、 1946-、
出版社:Sydney ; Reading, Mass. : Addison-Wesley, 1989.

Assemblers, compilers, and program translation

0
索取号:TP31/E8030
作者:Calingaert、 Peter.、
出版社:Potomac, Md. : Computer Science Press, 1979.

The structured alternative : program design, style and debugging

0
索取号:TP31/E9062
作者:Cassel、 Don、 1942-、
出版社:Reston, Va. : Reston Pub. Co., 1983.

Program design with pseudocode

0
索取号:TP31/E9091.2
作者:Bailey、 T. E.、 1935-、Lundgaard、 Kris、 1958-、
出版社:Monterey, Calif. : Brooks/Cole Pub. Co., 1986.

The program development process

0
索取号:TP31/E8016
作者:Aron、 J. D. (Joel D.)、
出版社:Reading, Mass. : Addison-Wesley Pub. Co., 1974-

Principles of program design

0
索取号:TP31/E8047
作者:Jackson、 M. A.、
出版社:London ; New York : Academic Press, 1975.

Techniques of program structure and design

0
索取号:TP31/E8039
作者:Yourdon、 Edward.、
出版社:Englewood Cliffs, N.J. : Prentice-Hall, [1975]

Program construction : international summer school

0
索取号:TP3-55/E804
作者:
出版社:Berlin ; New York : Springer-Verlag, 1979.

Program verification using Ada

0
索取号:TP3-43/E904
作者:McGettrick、 Andrew D.、 1944-、
出版社:Cambridge ; New York : Cambridge University Press, 1982.

Information technology assessment : proceedings of the 4th IFIP TC9 International Conference on Human Choice and Computers, HCC-4 held jointly with the CEC FAST Programme, Dublin, Ireland, 9-12 July 1990

0
索取号:TP14-532/E991
作者:IFIP TC9 International Conference on Human Choice and Computers (4th : 1990 : Dublin、 Ireland)、Berleur、 J.、Drumm、 John.、IFIP Technical Committee 9.、FAST (Program)、
出版社:Amsterdam ; New York : North-Holland ; New York, N.Y., U.S.A. : Distributors for the U.S. and Canada, Elsevier Science Pub. Co., 1991.

Networking and data communications

0
索取号:TN919.6/E901
作者:Marney-Petix、 V. C. (Victoria C.)、
出版社:Reston, Va. : Reston Pub. Co., 1986.

IEEE INFOCOM '91 : the Conference on Computer Communications : proceedings : tenth annual joint conference of the IEEE Computer and Communications Societies : networking in the 90s : tutorials, April 7-8, 1991, technical sessions, April 9-11, 1991 : the Sheraton Bal Harbour Resort, Bal Harbour, FL, USA

0
索取号:TN919.2-53/E906
作者:IEEE INFOCOM '91 (10th : 1991 : Bal Harbour、 Fla.)、Joseph、 Ken.、Shacham、 Nachum.、IEEE Computer Society.、IEEE Communications Society.、INFOCOM '91 (10th : 1991 : Bal Harbour、 Fla.)、Conference on Computer Communications (10th : 1991 : Bal Harbour、 Fla.)、
出版社:[United States] : IEEE Communication Society, c1991.

Computer Networking Symposium : proceedings, December 8, 1981, National Bureau of Standards, Gaithersburg, Maryland : a symposium

0
索取号:TN919.2-53/E904/1981
作者:Computer Networking Symposium (1981 : National Bureau of Standards)、IEEE Computer Society. Technical Committee on Computer Communications.、Institute for Computer Sciences and Technology.、
出版社:New York, NY : Institute of Electrical and Electronics Engineers ; Los Angeles, CA : Order from IEEE Computer Society, 1981.